type req = 
  | RSimpl of crit
  | RMult of crit * req

and crit = Crit of dist * int

and dist =
  | L of string
  | P of string
      
